$\forall$$A$, $B$:Type, $L$:($A$ List), $v$:$B$. $L$ $\vdash$fpf$\rightarrow$ $v$ $\in$ $a$:$A$ fp$\rightarrow$ $B$